Engineering Software Library Systems Connrmation Report
نویسنده
چکیده
The reuse of complete software developments and the processes used to create them has the potential to signiicantly ease the process of software engineering , by providing a source of veriied software artifacts. It is suggested that reuse of software artifacts can be achieved through the utilization of software libraries. However, software library systems are not yet common or mature phenomena, and as such are themselves candidates for the application of requirements analysis, formal speciication, design and other software engineering activities. A more formal approach to the analysis of software library requirements and their speciication will provide a basis for the development of useful software libraries.
منابع مشابه
Replication's Role in Experimental Computer Science
The role of replication in experimental computer science is discussed. Various kinds of internal and external replication are diierentiated. Without the connrming power of external replications, results in experimental computer science should only be provisionally accepted. An extension to Basili et al's framework for experimentation in software engineering is proposed to more fully diierentiat...
متن کاملBayesian-network Connrmation of Software Testing Uncertainties
In this paper, we claim that software development will do well by explicit modeling of its uncertainties using existing uncertainty modeling techniques. This is accomplished initially by stating the Maxim of Uncertainty in Software Engineering (MUSE), followed by a detailed presentation of uncertainty in software testing. We then propose that a speciic technique, known as Bayesian Belief Networ...
متن کاملEmpirical research methodologies and studies in Requirements Engineering: How far did we come?
Since the inception of the RE conference series (1992), both researchers and practitioners in the RE community have acknowledged the significance of empirical evaluation as an instrument to gain knowledge about various aspects of RE phenomena and the validity of our research results. A significant number of empirical studies have been conducted in the search for knowledge about RE problems as w...
متن کاملThe Goodstep Project Final Report
The goal of the GOODSTEP project was to enhance and improve the functionality of a fully object-oriented database management system to yield a platform suited to applications such as Software Engineering Environments (SEEs). The baseline of the project was the O 2 object database management system (ODBMS). The O 2 ODBMS already includes many of the features required to construct SEEs. The proje...
متن کاملSpeciication-based Testing of Interactive Systems Connrmation Report
Testing interactive systems is diicult because such systems are large, complex, concurrent, graph-ical and have user-based real-time requirements. Existing solutions solve technical problems but give little guidance for test inputs and oracles. Formal speciications can be used to provide this guidance. The goal of this project is development of a framework for speciication-based testing of inte...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997